Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
721	Some Algorithm Structure and Support Patterns for Parallel Application Programs∗ Berna L. Massingill† Timothy G. Mattson‡ Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:18:49 Architectural theory Software design patterns Concurrency Pattern language Database Parallel computing Object-oriented design Thread Algorithm Computing Software engineering Computer programming
722	Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-08-14 01:47:23 Assembly languages X86 assembly language X86 MOV Control flow Compiler optimization CPUID Computer architecture Programming language implementation X86 architecture
723	Recap: Concrete and Abstract Syntax Recap: Concrete and Abstract Syntax Every language X has one concrete syntax Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Control flow Eval Env Scheme Abstract syntax IMP programming language Functional languages Computing Software engineering Programming language theory
724	PDF Document Add to Reading List Source URL: www.pacsys.com Language: English - Date: 2005-03-29 17:03:24 Procedural programming languages Sinclair Research ZX Spectrum ALGOL 68 COBOL Assembly language Spreadsheet MVS 4GL Software engineering Computing Programming language theory
725	JEM/SMILES Level 2 Research Data (L2r) Product Guide for VersionSTRUCTURE OF SMILES L2r PRODUCTS JANUARY 11, 2012 Add to Reading List Source URL: smiles.nict.go.jp Language: English - Date: 2012-07-31 18:35:34 Software engineering Hierarchical Data Format Jem Data file Scheme ALGOL 68 Integer Simplified molecular-input line-entry specification Computing Programming language theory Data types
726	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-05-30 15:56:06 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis
727	21st JulySupport Group Application Note Number: 032 Issue: 1 Author: D J Bell Add to Reading List Source URL: chrisacorns.computinghistory.org.uk Language: English - Date: 2013-08-13 09:33:18 BBC BASIC BBC Micro Econet ALGOL 68 BASIC Acorn Computers Computing Programming language theory
728	Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2015-02-24 02:42:36 Mathematics Combinatorics Flow network Dynamic programming Maximum flow problem Graph theory Network flow Operations research
729	Microsoft WordErrata Summarydoc Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2011-01-12 07:37:13 BACnet Building automation Communication Comma ALGOL 68 Erratum SQL Computing Software engineering Programming language theory
730	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE